ecl-trans-normal(x)
== spreadn(x;
== spreadn(T,ks,i,g,h,a,e.(((x,y:T. decidable((x = y)))  (n:. ((h(n,i)))))
== spreadn( finite-type(T)
== spreadn( sorted(e)
== spreadn( no_repeats(; e))) 

latex

---

clarification:

ecl-trans-normal(x)
== spreadn(x;
== spreadn(T,ks,i,g,h,a,e.(((x:T, y:T. decidable((x = y  T)))  (n:. ((h(n,i)))))
== spreadn( finite-type(T)
== spreadn( sorted(e)
== spreadn( no_repeats(; e))) 

latex

Definitions	spreadn(u; a,b,c,d,e,f,g.v(a;b;c;d;e;f;g)), decidable(P), x:A. B(x), , A, b, finite-type(T), P  Q, sorted(L), no_repeats(T; l),
FDL editor aliases	ecl-trans-normal